reductio ad absurdum 拉丁语，字面意思是“归纳到荒谬”。Absurdum 是 absurdus 的中性形式。参见 reduction + absurd。这种策略在几何证明中是有用且无可非议的。
